<?php
/*
 * Created on Apr 10, 2007
 * @author Yannick Naudet
 */

 
 /**
  * EventListener interface for IndexingEvents. Must be implemented 
  * by any class wanting to listen to events related to indexing.
  */
 interface IndexingEventListener extends EventListener {
 	
 	/**
 	 * Used to notify an indexing has been performed.
 	 * @param $evt IndexingEvent The event object to be sent to all listeners.
 	 */
 	public function indexingDone(IndexingEvent $evt);
 	
 	/**
 	 * Used to actually perform the indexing: the indexVector contained into the event
 	 * will be modified by listeners.
 	 */
 	public function doIndexing(IndexingEvent $evt);
 	
 }
?>
